A. Pnueli：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (31)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Meccanica dei fluidi

D. Pnueli - C. Gutfinger

语言:

italian

文件:

PDF, 103.97 MB

0 / 0

italian

Temporal Verification of Reactive Systems: Safety

Springer

Zohar Manna, Amir Pnueli

年:

1995

语言:

english

文件:

PDF, 23.93 MB

0 / 0

english, 1995

Fluid mechanics

Cambridge University Press

David Pnueli, Chaim Gutfinger

年:

1992

语言:

english

文件:

PDF, 11.85 MB

0 / 0

english, 1992

The Temporal Logic of Reactive and Concurrent Systems: Specification

Springer

Zohar Manna, Amir Pnueli

年:

1991

语言:

english

文件:

DJVU, 2.80 MB

0 / 0

english, 1991

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

年:

1998

语言:

english

文件:

PDF, 6.24 MB

0 / 0

english, 1998

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Springer Berlin Heidelberg

Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)

年:

1988

语言:

english

文件:

PDF, 7.00 MB

0 / 0

english, 1988

Two approaches to interprocedural data flow analysis

New York University. Courant Institute of Mathematical Sciences. ComputerScience Department

Pnueli, A., Sharir, Micha

年:

1978

语言:

english

文件:

PDF, 3.12 MB

0 / 0

english, 1978

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

年:

2002

语言:

english

文件:

PDF, 4.38 MB

0 / 0

english, 2002

Fluid mechanics

Cambridge University Press

David Pnueli, Chaim Gutfinger

年:

1992

语言:

english

文件:

DJVU, 4.24 MB

0 / 0

english, 1992

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

年:

2000

语言:

english

文件:

PDF, 3.80 MB

0 / 0

english, 2000

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Oded Maler (eds.)

年:

1997

语言:

english

文件:

DJVU, 3.80 MB

0 / 0

english, 1997

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

年:

1992

语言:

english

文件:

DJVU, 4.30 MB

0 / 0

english, 1992

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

年:

1995

语言:

english

文件:

DJVU, 6.46 MB

0 / 0

english, 1995

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

年:

2010

语言:

english

文件:

PDF, 6.95 MB

0 / 0

english, 2010

Temporal verification of reactive systems: progress

web draft

Manna Z., Pnueli A.

年:

1996

语言:

english

文件:

PDF, 1.40 MB

0 / 0

english, 1996

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

年:

2010

语言:

english

文件:

PDF, 6.95 MB

0 / 0

english, 2010

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

年:

2010

语言:

english

文件:

PDF, 8.44 MB

0 / 5.0

english, 2010

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

年:

1992

语言:

english

文件:

PDF, 7.06 MB

0 / 0

english, 1992

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

年:

2003

语言:

english

文件:

PDF, 11.78 MB

5.0 / 4.5

english, 2003

The Temporal Logic of Reactive and Concurrent Systems: Specification

Springer-Verlag New York

Zohar Manna, Amir Pnueli (auth.)

年:

1992

语言:

english

文件:

PDF, 8.62 MB

0 / 0

english, 1992

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

年:

2003

语言:

english

文件:

PDF, 9.00 MB

0 / 0

english, 2003

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Springer Berlin Heidelberg

Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)

年:

1988

语言:

english

文件:

DJVU, 3.25 MB

0 / 0

english, 1988

Temporal Verification of Reactive Systems: Safety

Springer

Manna Z., Pnueli A.

年:

1995

语言:

english

文件:

DJVU, 4.42 MB

0 / 0

english, 1995

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

年:

1998

语言:

english

文件:

PDF, 3.82 MB

0 / 0

english, 1998

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)

年:

1989

语言:

english

文件:

DJVU, 4.48 MB

0 / 0

english, 1989

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)

年:

2005

语言:

english

文件:

PDF, 7.79 MB

0 / 0

english, 2005

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)

年:

2005

语言:

english

文件:

PDF, 7.68 MB

0 / 0

english, 2005

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

年:

1979

语言:

english

文件:

PDF, 8.00 MB

0 / 0

english, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

年:

1979

语言:

english

文件:

DJVU, 3.42 MB

0 / 0

english, 1979

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

年:

2000

语言:

english

文件:

PDF, 8.34 MB

0 / 0

english, 2000

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

年:

1998

语言:

english

文件:

PDF, 7.56 MB

0 / 0

english, 1998